example-topMenu Change-Id: Id576e8231f6db43b1ce1751f95367932c9e36cfd 
diff --git a/BUILD b/BUILD index 7051a18..6f374a1 100644 --- a/BUILD +++ b/BUILD 
@@ -3,6 +3,7 @@  srcs = [  "//example-simpleSshCommand",  "//example-sshCommandAlias", + "//example-topMenu",  ],  outs = ["all.zip"],  cmd = " && ".join([